Systematic Generation of Test and Fault Cases for Space Application Validation
نویسندگان
چکیده
Test Suite (ATS) Test purposes Technical specification
منابع مشابه
Fault Detection Effectiveness of Source Test Case Generation Strategies for Metamorphic Testing
Metamorphic testing is a well known approach to tackle the oracle problem in software testing. This technique requires the use of source test cases that serve as seeds for the generation of follow-up test cases. Systematic design of test cases is crucial for the test quality. Thus, source test case generation strategy can make a big impact on the fault detection effectiveness of metamorphic tes...
متن کاملPerformance Evaluation of Testing for Maintaining Software-Quality
Test development is an expensive technique. Saving the test suite for the software application by which test cases from the suite can be used for the software maintenance. We propose to develop Specification Analyser that accepts specification like statement coverage, code coverage for the generation of efficient test cases from test suite. The Specification Analyser compares the information ab...
متن کاملAdaptive Sliding Mode Control of Multi-DG, Multi-Bus Grid-Connected Microgrid
This paper proposes a new adaptive controller for the robust control of a grid-connected multi-DG microgrid (MG) with the main aim of output active power and reactive power regulation as well as busbar voltage regulation of DGs. In addition, this paper proposes a simple systematic method for the dynamic analysis including the shunt and series faults that are assumed to occur in the MG. The pres...
متن کاملOptimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملA Probabilistic Analysis For Fault Detectability of Code Coverage Metrics
Increasing design complexity, shrinking time to market, and high cost of fixing a bug in a released product [11] make functional validation of microprocessors a key ingredient in the product development cycle. Simulation is widely used to validate large systems like microprocessors. In simulation based validation, a test is executed in a golden reference model as well as in the design under tes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005